On Global Induction Mechanisms in a -Calculus with Explicit Approximations Christoph Sprenger Swedish Institute of Computer Science, Kista, Sweden

Source URL: people.inf.ethz.ch

A systematic study of PESQ’s behavior (from a networking perspective) Mart´ın Varela∗, Ian Marsh and Bj¨orn Gr¨onvall Swedish Institute of Computer Science (SICS) Kista, Sweden {mvarela,ianm,bg}@sics.se

Source URL: www.cnl.fi

The Security of a Mix-Center Based on a Semantically Secure Cryptosystem Douglas Wikstr¨om Swedish Institute of Computer Science (SICS)

Source URL: www.nada.kth.se

A Note on the Malleability of the El Gamal Cryptosystem Douglas Wikstr¨om Swedish Institute of Computer Science (SICS)

Source URL: www.nada.kth.se

• Mathematical analysis
• Mathematics
• Functional analysis
• IP
• Distribution
• Computability theory
• Linear temporal logic
• operator

Modeling the Performance of Ring Based DHTs in the Presence of Network Address Translators John Ardelius1 and Boris Mej´ıas2 1 Swedish Institute of Computer Science

Source URL: www.mancoosi.org

• Distributed data storage
• Distributed hash table
• Chord
• Kademlia
• Peer-to-peer
• Peer-to-Peer Protocol
• Koorde
• Scalable Source Routing

CBR DATABASE METHODOLOGY Companies in the Cambridge region This document describes how the database of over twenty thousand companies operating in the Cambridge region was created. The database contains only companies an

Source URL: www.cambridgeahead.co.uk

• Swedish Institute of Computer Science
• Turnover

ERCIM European Research Consortium for Informatics and Mathematics European Research

Source URL: kybele.escet.urjc.es

• Web development
• World Wide Web Consortium
• Informatics
• French Institute for Research in Computer Science and Automation
• Swedish Institute of Computer Science
• ERCIM Cor Baayen Award

Leveraging IP for Sensor Network Deployment Simon Duquennoy, Niklas Wirstrom, Nicolas Tsiftes, Adam Dunkels ¨ Swedish Institute of Computer Science {simonduq,niwi,nvt,adam}@sics.se

Source URL: hinrg.cs.jhu.edu

A Statistical Theory of Chord under Churn ∗ Supriya Krishnamurthy1 , Sameh El-Ansary1 , Erik Aurell1,2 and Seif Haridi1,3 1 Swedish Institute of Computer Science (SICS), Sweden 2 Department of Physics, KTH-Royal Instit

Source URL: iptps05.cs.cornell.edu

Adaptation Agents: Providing Uniform Adaptations in Open Service Architectures Markus Bylund, Annika Waern Swedish Institute of Computer Science, Stockholm, Sweden Abstract. We present the notion of adaptivity agents, ag

Source URL: www.ui4all.gr